Monitor based ambiguity verification for enhanced guidance quality

ABSTRACT

Methods and systems useful in determining relative position of moveable vehicle, for example including a GPS receiver, may include determining candidate integer ambiguities in groups, and performing tests to check usefulness of those candidate integer ambiguities.

BACKGROUND

The present invention relates generally to GPS position determination, and more particularly to GPS ambiguity estimation and verification.

Global Positioning System (GPS) satellites transmit signals that can be processed to determine position. In general, GPS satellites transmit signals including information relating to time of transmission and position of transmission, with the signals being transmitted about two different frequencies. Use of the information by a receiver allows the receiver to determine a pseudo range measurement to the transmitting satellite.

More precise range measurements may be derived by tracking phase of the signals received by the receiver. Measurement of phase, however, may provide ambiguous results. The ambiguities may be estimated, with the estimated ambiguities used in providing relatively precise position information for the receiver.

Unfortunately, the estimated ambiguities may be incorrect, and they may be incorrect by an amount that is greater than may be allowed for some applications.

SUMMARY

Some aspects of the invention provide a method, performed by circuitry, of determining integer ambiguities for relative position determination using satellite provided data, comprising: receiving satellite data relating to position; performing measurement processing to obtain float ambiguity estimates; determining groups of candidate integer ambiguities, each of the groups including candidate integer ambiguity for a plurality of receivers and satellites; for each of the groups, determining whether the candidate integer ambiguities for the group exhibits a statistical distribution consistent with low noise phase measurements; and selecting, from among the candidate integer ambiguities which exhibit the statistical distribution consistent with low noise phase measurements, a candidate integer ambiguity for use in determining relative position.

Some aspects of the invention provide a method, performed by circuitry in a mobile vehicle, useful in determining relative position of mobile vehicle having a receiver, using information from a plurality of satellites and a plurality of base receivers, comprising: receiving position related information from a plurality of satellites; receiving further position related information from each of the plurality of base receivers; determining double-differenced widelane float ambiguity estimates, and their associated covariance matrices, for a plurality of pairs, each pair including the mobile vehicle and a different base receiver based on the position related information and the further position related information; determining groups of candidate widelane integer ambiguities and their associated covariance matrices, each of the groups being for a receiver of interest and a satellite of interest, each group including candidate widelane integer ambiguities for the receiver of interest and each of the plurality of satellites, including the satellite of interest, and candidate widelane integer ambiguities for at least some other receivers and the satellite of interest; performing a first test to determine, for at least one group, on a mobile vehicle/base receiver pair basis for the plurality of satellites, if the candidate widelane integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; performing a second test to determine, for at least one group, on a single satellite basis for a plurality of mobile vehicle/base receiver pairs, if the candidate widelane integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; and selecting, from among the candidate widelane integer ambiguities, a widelane integer ambiguity for use in determining relative position of the mobile vehicle.

Some aspects of the invention provide a system for determining relative position of a rover, comprising: a data link; a global positioning system (GPS) receiver; a processor coupled to the data link and GPS receiver, the processor configured by program instructions, to: determine double differenced float ambiguity estimates and a float ambiguity covariance matrix based on information from the GPS receiver and information from other GPS receivers received by way of the data link; determine groups of integer ambiguity estimates and their covariance matrices; perform a first test to determine for each group, on a pairs of the GPS receivers basis for satellites in view of those GPS receivers, if the integer ambiguity estimates exhibit a statistical distribution consistent with low noise phase measurements; perform a second test to determine for each group, on a single satellite basis for pairs of GPS receiver, if the integer ambiguity estimates exhibit a statistical distribution consistent with low noise phase measurements; and select a one of the integer ambiguity estimates that has passed both the first test and the second test for use in navigation position functions.

These and other aspects of the invention are more fully comprehended upon review of this disclosure.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 illustrates an operational setup in which systems and methods in accordance with aspects of the invention may be used.

FIG. 2 is a block diagram of an Airborne Relative State System.

FIG. 3 is a block diagram, or portions of a block diagram, of a relative navigation block in accordance with aspects of the invention.

FIG. 4 is a block diagram of an embodiment of an example Integer Ambiguity Module in accordance with aspects of the invention.

FIG. 5 is a block diagram of a further embodiment of Integer Ambiguity Module in accordance with aspects of the invention.

FIG. 6 is a flow diagram of a process that may be used in performing a residual test in accordance with aspects of the invention.

FIG. 7 is a flow diagram of a process that may be used in performing the range test in accordance with aspects of the invention.

DETAILED DESCRIPTION

FIG. 1 illustrates an operational setup in which systems and methods in accordance with aspects of the invention may be used. In FIG. 1, a set of GPS satellites 111 are in view of a rover 113 and a plurality of base receivers 115 a-c. The satellites may include four satellites 111 a-d. In the discussion that follows, for particular determinations a one of the satellites, for example satellite 111 a, may be considered a satellite of interest. The rover may be, for example, an airborne vehicle, and the base receivers may have fixed positions or may be moveable, and for example may be seaborne ships. As with the satellites, in the discussion that follows, for particular determinations a one of the base receivers, for example base receiver 115 a, may be considered a base receiver of interest. In various embodiments, relative position of the rover with respect to the base receiver may be of interest.

FIG. 2 is a block diagram of an Airborne Relative State System, which for example may be in the rover of FIG. 1. The Airborne Relative State System includes an Airborne RelNav computer system 216. The Airborne RelNav computer system receives information from a GPS receiver 219 and from a data link 212. The GPS receiver is generally carried by the rover, and the data link will generally provide GPS related information from other GPS receivers, for example those of the base receivers of FIG. 1. The Airborne RelNav computer system may also receive configuration data 214, for example by way of a user interface, and information, over an aircraft avionic systems interface 217, from various aircraft avionic systems. In many embodiments the Airborne RelNav computer system computes a relative position and velocity vector between the rover and a base receiver of interest, for example a ship. The Airborne RelNav computer system may also compute an uncertainty of the computed position and velocity vectors. The computed relative state and its uncertainty are provided to a guidance and control (G&C) system 218, for example for guidance and control of the rover.

The Airborne RelNav computer system utilizes determined widelane and/or single frequency (single lane or SF) integer ambiguities, which may be in the form of a phase measurement vector incorporating the determined integer ambiguities, in determining relative position between the rover and the base receiver of interest. In various embodiments the Airborne RelNav computer system also performs calculations to determine probabilities that the determined integer ambiguities are correct. In some embodiments the Airborne RelNav computer system performs one or more tests on determined integer ambiguities to determine if validity of the determined integer ambiguities are sufficiently certain so as to allow for use of the determined integer ambiguities in determining relative position. In some embodiments, in doing so the Airborne RelNav computer system performs a residual test on the determined integer ambiguities. In some embodiments the residual test measures consistency between measurements from a plurality of satellites for a single rover/base receiver pair. In some embodiments, in doing so the Airborne RelNav computer system performs a range test on the determined integer ambiguities. In some embodiments the range test measures consistency between measurements from a single satellite for a plurality of rover/base receiver pairs. In some embodiments, in doing so the Airborne RelNav computer system performs both a residual test and a range test on the determined integer ambiguities. In some embodiments the Airborne RelNav computer system performs at least two tests on the determined integer ambiguities, with the two tests, for example a residual test and a range test, decorrelated from one another.

FIG. 3 is a block diagram, or portions of a block diagram, of a relative navigation block in accordance with aspects of the invention. The blocks and modules of the relative navigation block may be implemented in circuitry or, in various embodiments, a combination of circuitry, which may include circuitry in the form of one or more processors, and program instructions configuring the processors. The relative navigation block includes a Measurement Processing module 315. The Measurement Processing module 315 receives measurement information from the rover (R) and a plurality of base receivers. For purposes of discussion, three base receivers (B1, B2, B3) will be used for purposes of example. The Measurement Processing module, using the measurement information, determines widelane (WL), single frequency (SF) L1, and L2 double differenced (DD) phase measurement vectors, along with their associated covariance matrices. The Measurement Processing module also determines DD WL float ambiguities and its covariance matrix.

The measurement information are first processed individually, from each source and un-differenced, before forming single-differenced (SD) and double-differenced (DD) measurements. Details of an example of measurement processing may be found, for example, in Dogra Surjan, Sea-Based JPALS Relative Navigation Algorithm Development, Proceedings of the 18th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS 2005) Sep. 13-16, 2005, the disclosure of which is incorporated for all purposes herein.

Generally, un-differenced (UD) processing includes, for each base receiver (B1, B2, and B3) and each satellite, translating the measurements to a common reference point, and forming L1, L2, widelane phase measurements, and L1, L2, single frequency code measurements along with their covariance matrices. Floating point (float) widelane ambiguities, along with their covariance are also estimated.

The single difference processing takes the difference in UD measurements for all Rover-Base pairs, on a per satellite basis. Accordingly, for each satellite, and for each of the single frequency L1 and L2 frequencies, the SD code and phase measurements are formed for each Rover-Base receiver pair (3 pairs), along with their covariance matrices. The SD code and phase measurements from each Rover-Base pair are combined, and the corresponding covariance matrices are calculated. The SD float widelane ambiguities are also calculated for each Rover-Base receiver pair (3 pairs), along with their covariance, and the SD float widelane ambiguities from each Rover-Base pair are combined, with the corresponding covariances calculated.

In double-differenced (DD) processing, the difference in SD measurements is calculated between each satellite and a key satellite. In addition, for each satellite (other than the key satellite), and for each of the single frequency L1 and L2 frequencies, the DD code and phase measurements are formed, along with their covariance matrices, and for widelane frequency the DD float widelane ambiguity vector is formed, along with its covariance.

If N_(sat) satellites are in view to all receivers, the outputs from the Measurement processing module include 3(N_(sat)−1) sets of DD L1, L2 phase measurements and their covariance matrix, and 3(N_(sat)−1) sets (which may be referred to as N_(DD) sets) of DD float widelane ambiguities and their covariance matrix.

The Integer Ambiguity Module 317 estimates WL integer ambiguities, determines a probability of correct fix (PCF) for the WL integer ambiguities, and, using the estimated WL integer ambiguities, determines SF integer ambiguities and PCF for the SF integer ambiguities. In some embodiments integer ambiguities are determined using what may be termed a Bootstrapping method, for example as discussed in Teunissen P. J. G., GNSS Ambiguity Bootstrapping: Theory and Application (2001), the disclosure of which is incorporated for all purposes herein. In some embodiments integer ambiguities are determined using ambiguity reordering and sequential conditioning on the DD ambiguity vector and its covariance matrix. In most embodiments the PCFs are determined using two separate checks. In many embodiments the integer ambiguities, and the PCFs, are determined for a satellite/receiver pair of interest through the use of groups of measurements and groups of estimated integer ambiguities.

In some embodiments the Integer Ambiguity Module determines integer ambiguities for a particular receiver of interest and satellite of interest on a group basis. In some embodiments, measurements for each group comprises, and in some embodiments consists of measurements from a plurality of satellites, generally including the satellite of interest, and the receiver of interest, and measurements from a plurality of other receivers and the satellite of interest. In most embodiments integer ambiguities are determined for each satellite/receiver pair within each group. Accordingly, integer ambiguities for each receiver of interest/satellite of interest pair are calculated for multiple groups, resulting in a plurality of what may be termed integer ambiguity candidates for each receiver of interest/satellite of interest pair.

In some embodiments the Integer Ambiguity Module performs a plurality of decorrelated tests, to determine whether the ambiguities for a group exhibit a statistical distribution consistent with low noise phase measurements. In some embodiments a first of the tests, which may be considered a residual test, determines consistencies on a rover/base receiver pair basis for a plurality of satellites. In some embodiments a second of the tests, which may be considered a range test, determines consistencies across a plurality of rover/base receiver pairs on a single satellite basis.

In some embodiments the Integer Ambiguity Module additionally, for candidate integer ambiguities which have passed the tests, selects, for each receiver of interest/satellite of interest pair, an appropriate candidate as an integer ambiguity for use in position calculations.

The Position Module 319 determines relative position of the rover and a particular reference point, which in some embodiments may be the base receiver of interest. The Position Module determines the relative position using some or all of the integer ambiguities determined by the Integer Ambiguity Module 317. In some embodiments the Position Module determines the relative position as discussed in U.S. Pat. No. 7,683,832, the disclosure of which is incorporated by reference for all purposes herein.

FIG. 4 is a block diagram of an embodiment of an example Integer Ambiguity Module. The blocks and modules of the Integer Ambiguity Module may be implemented in circuitry or, in various embodiments, a combination of circuitry, which may include circuitry in the form of one or more processors, and program instructions configuring the processors. The block diagram of FIG. 4 is shown, for simplicity, for operating on widelane ambiguities. In some embodiments, the widelane integer ambiguities are used in determining single frequency ambiguities, and one would understand that in some embodiments widelane integer ambiguities are first determined for use, and then those determined widelane integer ambiguities are used for operations relating to single frequency integer ambiguity processing.

In some embodiments, integer ambiguities are calculated for each group in block 411. The objective of each group is to determine whether the integer ambiguity of the measurement of interest (from the SOI/ROI pair) was determined properly. Groups include measurements from 3 other satellites as well as redundant measurements from other receivers, so that various checks can be performed on the consistency of the solution. It should be noted that each satellite/receiver pair will be present in

$\quad\begin{pmatrix} {N_{DD} - 1} \\ 3 \end{pmatrix}$ groups, so numerous candidate integer ambiguities will be generated for each DD measurement.

The ambiguity verification block 413 performs fault detection checks using the candidate integer ambiguities to detect erroneous candidates. In some embodiments, and as illustrated in FIG. 4, the fault detection checks include, and in some embodiments consist of, a residual check and a range check. The residual check may be performed, for example, by a residual monitor sub-block 415 and the range check may be performed, for example, by a range sub-block 417. For the integer ambiguity candidates that pass all fault checks, a probability of missed detection is computed. Each DD measurement is likely to still have multiple fault-free integer ambiguity candidates after this verification process, each with different probabilities of missed detection.

The Ambiguity Probability of Correct Fix (PCF) Processing block 419 takes the set of fault-free ambiguity candidates along with their probability of missed detection, and for each satellite/receiver pair selects the most appropriate ambiguity value, the ambiguity value with the highest probability of correct fix in most embodiments. As many satellite/receiver pairs are added to the fixed set as is possible without exceeding the allocated PIF.

The measurements from the fixed set will have their DD integer ambiguity fixed, and will be used along with the other measurements (DD float ambiguities) to compute a precision relative navigation solution.

FIG. 5 is a block diagram of a further embodiment of an Integer Ambiguity Module in accordance with aspects of the invention. As with the block diagram of FIG. 4, the blocks and modules of further embodiment of the Integer Ambiguity Module may be implemented in circuitry or, in various embodiments, a combination of circuitry, which may include circuitry in the form of one or more processors, and program instructions configuring the processors.

The Integer Ambiguity Module includes a widelane integer ambiguity estimation block 511, a widelane integer ambiguity verification block 513, and a widelane probability of correct fix block 515 for performing operations relating to widelane integer ambiguities. The Integer Ambiguity Module also includes a single frequency float ambiguity estimation block 517, a single frequency integer ambiguity estimation block 519, a single frequency integer ambiguity verification block 521, and a single frequency probability of correct fix block 523. In some embodiments the single frequency related blocks are in operation only when particularly precise positioning information is desired.

The widelane integer ambiguity estimation block 511 determines widelane candidate integer ambiguities, which may be incorporated into candidate phase measurement vectors. The widelane integer ambiguity verification block 513 performs tests on, effectively, the candidate widelane integer ambiguities, including in some embodiments determining probabilities of missed detection (PMD) for those candidates. In some embodiments at least two decorrelated tests are performed on the candidate integer ambiguities. In some such embodiments the two tests include a test which measures consistency between measurements from a plurality of satellites for a single rover/base receiver pair, and a test which measures consistency between measurements from a single satellite for a plurality of rover/base receiver pairs. The widelane probability of correct fix block 515 selects widelane integer ambiguities for use in determining relative position.

The single frequency float ambiguity estimation block 517 determines single frequency float ambiguities using the determined widelane integer ambiguities. The single frequency integer ambiguity estimation block 519 determines single frequency candidate integer ambiguities, for example in the same manner as the widelane integer ambiguity estimation block. The single frequency integer ambiguity verification block 521 performs tests on, effectively, the candidate single frequency integer ambiguities, including in some embodiments determining probabilities of missed detection (PMD) for those candidates. As with the widelane processing, in some embodiments at least two decorrelated tests are performed on the candidate integer ambiguities. Also as with the widelane processing, in some such embodiments the two tests include a test which measures consistency between measurements from a plurality of satellites for a single rover/base receiver pair, and a test which measures consistency between measurements from a single satellite for a plurality of rover/base receiver pairs. The single frequency probability of correct fix block 523 selects single frequency integer ambiguities for use in determining relative position.

In some embodiments, the widelane integer ambiguity estimation block 511 utilizes DD float ambiguities to determine candidate integer ambiguities and candidate fixed measurement vectors. In some embodiments, sets of satellites in view of all receivers are determined, each set is paired with each base receiver to form a combination, for each combination groups are formed by designating each satellite in the combination as a satellite of interest, and integer ambiguities (and the associated covariance matrix) are determined. Using the integer ambiguities, candidate fixed DD WL phase measurements are determined. In some embodiments the widelane integer ambiguity estimation block forms groups characterized by a satellite/base receiver pair. Forming such groups may be accomplished by enumerating every set of 4 satellites in view of all receivers (there are

$\quad\begin{pmatrix} N_{DD} \\ 4 \end{pmatrix}$ such sets), forming combinations by pairing each set with each base receiver (there are 3

$\quad\begin{pmatrix} N_{DD} \\ 4 \end{pmatrix}$ such combinations), and denoting the corresponding base receiver as the Receiver of Interest (ROI) for the combination. Groups may be formed by designating a satellite in the combination as Satellite of Interest (SOI) (depending on GPS constellation state, there may be 11

$\quad\begin{pmatrix} N_{DD} \\ 4 \end{pmatrix}$ such groups). Each group is therefore characterized by a satellite/Base receiver pair specified respectively as the SOI and ROI.

For each group g, the DD integer WL ambiguities may be determined by forming {circumflex over (N)}_(g), the group's 6-by-1 vector of DD float WL ambiguities, using the 4 DD float ambiguities from the combination (e.g. from the ROI) and the other 2 for the SOI from the other two receivers (from {circumflex over (N)}_(DD) _(_) _(WL)), forming C_({circumflex over (N)}) _(g) , the associated 6-by-6 covariance matrix (from

C_(N̂_(DD_WL))), and solving for {circumflex over (N)}_(g) ^(int), the 6-by-1 vector of DD integer WL ambiguities and associated 6-by-6 covariance matrix using the Bootstrapping algorithm. The candidate fixed DD WL phase measurements may then be determined.

In some embodiments C_({circumflex over (N)}) _(g) is determined according to

$C_{{\hat{N}}_{g}} = \begin{bmatrix} C_{N_{r}} & C_{N_{r}N_{c}} \\ C_{N_{r}N_{c}}^{T} & C_{N_{c}} \end{bmatrix}$

-   -   Where     -   C_(N) _(c) is the covariance matrix for the 4 float ambiguities         of the satellites in the current combination on the ROI. In some         embodiments

$C_{N_{c}} = \begin{bmatrix} {\sigma_{N_{{DD\_ WL},4,{1{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{1{\_{sd}}}}}^{2}} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} \\ \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & {\sigma_{N_{{DD\_ WL},3,{1{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{1{\_{sd}}}}}^{2}} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} \\ \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & {\sigma_{N_{{DD\_ WL},2,{1{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{1{\_{sd}}}}}^{2}} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} \\ \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & \sigma_{N_{{DD\_ WL},{k\_{sd}}}}^{2} & {\sigma_{N_{{DD\_ WL},i,{1{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{1{\_{sd}}}}}^{2}} \end{bmatrix}$

-   -   C_(N) _(r) is the covariance matrix for the up to 2 redundant         receivers float ambiguities. In some embodiments

$C_{N_{r}} = \begin{bmatrix} {\sigma_{N_{{DD\_ WL},i,{3{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{3{\_{sd}}}}}^{2}} & \sigma_{N_{{DD\_ WL},{OD}_{x}}}^{2} \\ \sigma_{N_{{DD\_ WL},{OD}_{x}}}^{2} & {\sigma_{N_{{DD\_ WL},i,{2{\_{sd}}}}}^{2} + \sigma_{N_{{DD\_ WL},k,{2{\_{sd}}}}}^{2}} \end{bmatrix}$ $C_{N_{r}N_{c}} = \begin{bmatrix} \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} \\ \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} & \sigma_{N_{{{DD}\_{WL}},{ODx}}}^{2} \end{bmatrix}$   σ_(N_(DD_WL, OD 1))² = σ_(N_(DD_WL, i_b/r))² + σ_(N_(DD_WL, k_b/r))²

-   -   or 0 if the same rover or base receiver is not used, for i equal         to the sensor of interest.

σ_(N_(DD_WL, OD 2))² = σ_(N_(DD_WL, k_b/r))²

-   -   or 0 if the same rover or base receiver is not used, for i not         equal to the sensor of interest.

The variances in the above are those of the WL float ambiguity and were computed earlier.

This process will result in, for example, 11

$\quad\begin{pmatrix} N_{DD} \\ 4 \end{pmatrix}$ sets of 6-by-1 candidate DD integer WL ambiguity vectors and associated covariance matrices. Each satellite/receiver pair will be present in

$\quad\begin{pmatrix} {N_{DD} - 1} \\ 3 \end{pmatrix}$ groups, so each measurement will have that many candidate integer i ambiguities.

To determine the DD integer ambiguities, one embodiment uses ambiguity reordering and sequential conditioning on the DD ambiguity vector and its covariance matrix, otherwise known as Bootstrapping. In some embodiments, in performing the Bootstrapping Algorithm, for each group g, an L^(T)DL decomposition is performed on C_({circumflex over (N)}) _(g) to obtain the D_(g) and L_(g) matrices:

${D_{g} = \begin{bmatrix} \sigma_{g,{6|{1\text{:}5}}}^{2} & \ldots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \ldots & \sigma_{g,1}^{2} \end{bmatrix}},{L_{g}^{- T} = \begin{bmatrix} {l_{g,6}^{- T},} & {\ldots\mspace{14mu},} & l_{g,\; 1}^{- T} \end{bmatrix}}$

The ambiguity vector {circumflex over (N)}_(g), its covariance C_({circumflex over (N)}) _(g) , and the D_(g) and L_(g) matrices are reordered so that the ambiguity with the smallest initial variance is at the end of the vector elements. Each successive ambiguity is reordered based on the corresponding conditional variance. The re-ordering only includes the measurements from the receiver of interest whereas redundant measurements from other receivers (assumed to be measurements 5 and 6) are not re-ordered.

The integer ambiguity vector of group g, {circumflex over (N)}_(g) ^(int)=[{circumflex over (N)}_(g,6|1:5) ^(int), . . . , {circumflex over (N)}_(g,1) ^(int)]^(T) is obtained by sequentially rounding the reordered ambiguities as follows:

N̂_(g, 1)^(int) = [N̂_(g, 1)] ${\hat{N}}_{g,{2|1}}^{int} = \left\lbrack {{\hat{N}}_{g,2} - {\frac{\sigma_{g,1}\sigma_{g,{2|1}}}{\sigma_{g,1}^{2}}\left( {{\hat{N}}_{g,1} - {\hat{N}}_{g,1}^{int}} \right)}} \right\rbrack$ … ${\hat{N}}_{g,{{6|1}:5}}^{int} = \left\lbrack {{\hat{N}}_{g,6} - {\sum\limits_{i = 1}^{5}\;{\frac{\sigma_{g,6}\sigma_{g,{{m|1}:{m - 1}}}}{\sigma_{g,{{m|1}:{m - 1}}}^{2}}\left( {{\hat{N}}_{g,i} - {\hat{N}}_{g,{{m|1}:{m - 1}}}} \right)}}} \right\rbrack$

Bootstrapping creates a set of integer ambiguities that are conditionally independent that allows for computation of the probability P_(g)(v) of error vector v in the ambiguity vector {circumflex over (N)}_(g) ^(int) according to: P _(g)(v)=P _(g,1)(v)P _(g,2|1)(v)P _(g,3|1:2)(v)P _(g,4|1:3)(v)P _(g,5|1:4)(v)P _(g,6|1:5)(v), with, for m<5

${P_{g,{{m|1}:{m - 1}}}(v)} = {{0.5\mspace{14mu}{{erf}\left( \frac{1 + {2\; l_{g,m}^{- T}v}}{2\sigma_{g,{{m|1}:{m - 1}}}\sqrt{2}} \right)}} + {0.5\mspace{14mu}{{erf}\left( \frac{1 - {2\; l_{g,m}^{- T}v}}{2\sigma_{g,{{m|1}:{m - 1}}}\sqrt{2}} \right)}}}$ and, for m≧5

${P_{g,{{m|1}:{m - 1}}}(v)} = {\max\left\{ {{{0.5\mspace{14mu}{{erf}\left( \frac{1 + {2\; l_{g,m}^{- T}v}}{2\sigma_{g,{{m|1}:{m - 1}}}\sqrt{2}} \right)}} + {0.5\mspace{14mu}{{erf}\left( \frac{1 - {2\; l_{g,m}^{- T}v}}{2\sigma_{g,{{m|1}:{m - 1}}}\sqrt{2}} \right)}}},P_{{receiver}\mspace{14mu}{failure}}} \right\}}$

Once the integer widelane ambiguities are determined for a particular group, a corresponding candidate fixed measurement vector (φ_(DD) _(_) _(WL,g) ^(fixed)) can be formed using the group's subset of 6 DD phase measurements (φ_(DD) _(_) _(WL,g)) and the candidate integer ambiguities ({circumflex over (N)}_(g) ^(int)): φ_(DD) _(_) _(WL,g) ^(fixed)=φ_(DD) _(_) _(WL,g)−λ_(WL) N _(g) ^(int)

Without loss of generality, and for convenience of exposition, φ_(DD) _(_) _(WL,g) ^(fixed) may be set forth as:

${\phi_{{DD\_ WL},g}^{fixed} = \begin{bmatrix} \phi_{{DD\_ WL},g,{4\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{3\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{2\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{1\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{1\; b}}^{fixed} \\ \phi_{{DD\_ WL},g,{1\; c}}^{fixed} \end{bmatrix}},$ where the numbers 1, 2, 3, and 4 represent the group's 4 different satellites and the letters a, b, and c represent the 3 base receivers. For this group, satellite 1 is the SOI, and base receiver a is the ROI.

In some embodiments the widelane integer ambiguity verification block 513 performs a residual test to measure consistency between measurements from satellites for each single rover/base pair, and performs a range test to measure consistency between measurements from the same satellite across multiple rover/base pairs.

In some embodiments the residual test uses a RAIM-like algorithm to identify if an ambiguity is incorrect in each group. The measurements used in the monitor are the 4 DD phase measurements from the group's four satellites, along with the candidate ambiguity fixes. If the ambiguities are fixed correctly on all these measurements, the residual test statistic will exhibit a statistical distribution consistent with low noise phase measurements.

In some embodiments the test statistic uses the Parity space of the group's system matrix H_(g), composed of the line of sights of the four measurements. The phase residual vector is projected in Parity space, and its magnitude is compared to a threshold that depends on the expected error of fault-free phase measurements. Measurements that fail this test are discarded and no longer considered.

In some embodiments, measurements that pass the test have their probability of missed detection P(MD_(g,residual)|v) evaluated for all error states vεV_(g), where V_(g) is the complete set of valid error states. Certain geometries (captured in H_(g)) will provide better observability into various error states v.

FIG. 6 is a flow diagram of a process that may be used in performing the residual test. In block 611 a group is selected, and DD WL phase measurements for a plurality of satellites and the ROI are formed using candidate ambiguity vector for the group, and a corresponding covariance matrix is also formed. In some embodiments there may be four satellites, with four DD WL phase measurements formed. In block 613 an estimated position is determined, for example using an iterative least-squares method, with the estimated position used to determine phase residuals and line of sight system design matrix H. A QR factorization of H may be performed to obtain an orthonormal matrix Q₂. In block 615 Q₂ is used to project the phase residuals and their covariance matrix into Parity space. In block 617 the process compares a parity scalar to a predetermined threshold. In block 619 the process determines if the parity scalar is below the predetermined threshold. If not, the process returns to block 611 to process another group. If so, the process, in some embodiments, continues to block 621. In block 621 the process maps an error state into Parity space, and calculates a probability of missed detection. The process thereafter returns to block 611.

In some embodiments, for the residual test the 4 components corresponding to the four satellites on the ROI (receiver a) are selected to form {tilde over (φ)}_(DD) _(_) _(WL,g) ^(fixed):

${\overset{\sim}{\phi}}_{{DD\_ WL},g}^{fixed} = \begin{bmatrix} \phi_{{DD\_ WL},g,{1\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{2\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{3\; a}}^{fixed} \\ \phi_{{DD\_ WL},g,{4\; a}}^{fixed} \end{bmatrix}$

The probability of {circumflex over (N)}_(g) ^(int) being incorrect may be accounted for during WL Integer Ambiguity PCF processing. Conditioned upon {circumflex over (N)}_(g) ^(int) being correct, the covariance matrix of {tilde over (φ)}_(DD) _(_) _(WL,g) ^(fixed) is obtained by selecting the appropriate rows and columns from C_(φ) _(_) _(DD) _(_) _(WL,g).

${\overset{\sim}{C}}_{{{{\phi\_}{DD}}{\_{WL}}},g}^{fixed} = {\begin{bmatrix} 1_{4 \times 4} & 0_{4 \times 2} \end{bmatrix}{C_{{{{\phi\_}{DD}}{\_{WL}}},g}\begin{bmatrix} 1_{4 \times 4} \\ 0_{2 \times 4} \end{bmatrix}}}$

Starting with an estimate of the current position, an iterative Least-Squares algorithm solves for position using the group's 4 measurements. The position is used to form the 4-by-3 system design matrix H_(g)=[1_(g,e) ⁽¹⁾ 1_(g,e) ⁽²⁾ 1_(g,e) ⁽³⁾ 1_(g,e) ⁽⁴⁾]^(T) and the 4-by-1 phase residual vector z_(φ,g).

A QR factorization of H_(g) is performed, producing the orthonormal matrices Q₁ and Q₂ and the upper triangular matrix R₁ which verify:

$H_{g} = {\begin{bmatrix} Q_{1,g} & Q_{2,g} \end{bmatrix}\begin{bmatrix} R_{1,g} \\ 0 \end{bmatrix}}$

The 4-by-1 vector Q₂ is used to map the residual vector z_(φ,g) into the Parity space scalar {tilde over (p)}_(g) according to: {tilde over (p)} _(g)=(Q _(2,g) ^(T) z _(φ,g)

The scalar {tilde over (p)}_(g) will be compared to the expected noise of fault-free measurements in Parity space. The variance σ_({tilde over (p)}) _(g) ² of this noise is obtained by projecting the measurement covariance {tilde over (C)}_(φ) _(_) _(DD) _(_) _(WL,g) ^(fixed) (which assumes the fault-free case, since it is conditioned on Ñ_(g) ^(int) being correct) into Parity space according to: τ_({tilde over (p)}) _(g) ² =Q _(2,g) ^(T) {tilde over (C)} _(φ) _(_) _(DD) _(_) _(WL,g) ^(fixed) Q _(2,g)

The residual test may then be considered as |{tilde over (p)} _(g) |<K _(res)σ_({tilde over (p)}) _(g) , where K_(res) is a multiplier determined based on the desired false alarm rate.

If the group passes the test, in some embodiments the probability of missed detections are computed, as detailed below, after discussion of the range test. Otherwise the group is discarded.

In some embodiments the range test uses RAIM or a RAIM-like algorithm to identify if an ambiguity is incorrect in each group. The measurements used in the range monitor are the 3 DD fixed WL phase measurements from the group's SOI (measured from the 3 Rover/Base receiver pairs), along with the candidate integer ambiguity estimates. If the ambiguities are fixed correctly on all these measurements, the residual test statistic will exhibit a statistical distribution consistent with low noise phase measurements.

In some embodiments the range monitor forms two phase differences, with the phase measurement from the group's SOI common to both. These phase differences are compared to a threshold that is derived from the expected fault-free error characteristics. If both tests pass for a particular group, the probability of missed detection of all error states is, in some embodiments, then computed for each of the two differences. Since both tests may be correlated, in some embodiments only the results from the test that provides the lowest probability of missed detection is used for a particular group during the remainder of the processing.

In addition, in most embodiments a correlation between the two residual tests and the range test statistics are reduced or eliminated.

FIG. 7 is a flow diagram of a process that may be used in performing the range test. In block 711 a group is selected and differences the phase measurement from the group ROI and the phase measurements from other base receivers are determined. In some embodiments this includes forming DD fixed WL phase measurements, and the corresponding covariance, for the SOI in the group, are formed using the group candidate ambiguity vector in doing so.

In block 713 the covariance matrix of each difference is determined, including a residual test statistic, and each difference is decorrelated from the residual test statistic. In block 715 each difference, which in some embodiments may be two differences, is compared with a threshold, which may be predetermined. In block 717, the process determines if the differences are below the threshold. If not, the process returns to block 711 to process another group. If so, in some embodiments the process continues to block 719 to determine a probability of missed detection for the group. In some embodiments, in block 719 the process maps an error state into a range test space, and calculates a probability of missed detection (PMD). The process thereafter returns to block 711.

In some embodiments the range test forms the following two test quantities: T _(g,ab)=[01−1000]φ_(DD) _(_) _(WL,g) ^(fixed)=φ_(DD) _(_) _(WL,g,1b) ^(fixed)−φ_(DD) _(_) _(WL,g,1a) ^(fixed) T _(g,ac)=[10−1000]φ_(DD) _(_) _(WL,g) ^(fixed)=φ_(DD) _(_) _(WL,g,1c) ^(fixed)−φ_(DD) _(_) _(WL,g,1a) ^(fixed)

Conditioned upon {circumflex over (N)}_(g) ^(int) being correct, the variance of those quantities is obtained according to:

$\sigma_{T_{g,{ab}}}^{2} = {\begin{bmatrix} 0 & 1 & {- 1} & 0 & 0 & 0 \end{bmatrix}{\left( {C_{{{{\phi\_}{DD}}{\_{WL}}{\_{MP}}},g} + C_{{Ba\_ Bb}{\_ trans}}} \right)\begin{bmatrix} 0 \\ 1 \\ {- 1} \\ 0 \\ 0 \\ 0 \end{bmatrix}}}$ $\sigma_{T_{g,{ac}}}^{2} = {\begin{bmatrix} 1 & 0 & {- 1} & 0 & 0 & 0 \end{bmatrix}{\left( {C_{{{{\phi\_}{DD}}{\_{WL}}{\_{MP}}},g} + C_{{Ba\_ Bc}{\_ trans}}} \right)\begin{bmatrix} 1 \\ 0 \\ {- 1} \\ 0 \\ 0 \\ 0 \end{bmatrix}}}$

Atmospheric errors cancel since all Base receivers are near each other, so multipath and translation are the only error sources. Also, there should be no contribution from the Rover receiver, since those terms cancel.

As mentioned before, preferably the range test is independent from the residual test. Preferably, the quantities T_(g,ab) and T_(g,ac) are decorrelated from the residual test quantity {tilde over (p)}_(g). These quantities may otherwise be correlated since they both use φ_(DD) _(_) _(WL,g,1a) ^(fixed). Accordingly, the joint vectors

${x_{g,{ab}} = {{\begin{bmatrix} {\overset{\sim}{p}}_{g} \\ T_{g,{ab}} \end{bmatrix}\mspace{31mu} x_{g,{ac}}} = \begin{bmatrix} {\overset{\sim}{p}}_{g} \\ T_{g,{ac}} \end{bmatrix}}},$ are formed along with their error covariance matrices

${C_{x_{g,{ab}}} = {{\begin{bmatrix} \sigma_{{\overset{\sim}{p}}_{g}}^{2} & \sigma_{{\overset{\sim}{p}}_{g}T_{g,{ab}}}^{2} \\ \sigma_{{\overset{\sim}{p}}_{g}T_{g,{ab}}}^{2} & \sigma_{T_{g,{ab}}}^{2} \end{bmatrix}\mspace{31mu} C_{x_{g,{ac}}}} = \begin{bmatrix} \sigma_{{\overset{\sim}{p}}_{g}}^{2} & \sigma_{{\overset{\sim}{p}}_{g}T_{g,{ac}}}^{2} \\ \sigma_{{\overset{\sim}{p}}_{g}T_{g,{ac}}}^{2} & \sigma_{T_{g,{ac}}}^{2} \end{bmatrix}}},$ where {tilde over (p)}_(g) and σ_({tilde over (p)}) _(g) ² were calculated in the residual test. The residual test quantity can be written:

$\begin{matrix} {{\overset{\sim}{p}}_{g} = {Q_{2,g}^{T}z_{\phi,g}}} \\ {= {Q_{2,g}^{T}\begin{bmatrix} {{\phi_{{DD\_ WL},g,{1\; a}}^{fixed} -}\therefore} \\ {{\phi_{{DD\_ WL},g,{2\; a}}^{fixed} -}\therefore} \\ {{\phi_{{DD\_ WL},g,{3\; a}}^{fixed} -}\therefore} \\ {{\phi_{{DD\_ WL},g,{4\; a}}^{fixed} -}\therefore} \end{bmatrix}}} \end{matrix}$ where Q_(2,g) ^(T) is from the residual test, and “∴” stands for the respective predicted phase measurements. Note that {tilde over (p)}_(g) does not contain any translation error. The cross-correlation terms can be calculated according to:

$\begin{matrix} {\sigma_{{\overset{\sim}{p}}_{g}T_{g,{ab}}}^{2} = \left\langle {e_{{\overset{\sim}{p}}_{g}}e_{T_{g,{ab}}}} \right\rangle} \\ {= \left\langle {{Q_{2,g}^{T}\begin{bmatrix} e_{\phi_{{DD\_ WL},g,{1\; a}}^{fixed}} \\ e_{\phi_{{DD\_ WL},g,{2\; a}}^{fixed}} \\ e_{\phi_{{DD\_ WL},g,{3\; a}}^{fixed}} \\ e_{\phi_{{DD\_ WL},g,{4\; a}}^{fixed}} \end{bmatrix}}e_{\phi_{{DD\_ WL},g,{1\; b}}^{fixed} - \phi_{{DD\_ WL},g,{1\; a}}^{fixed}}} \right\rangle} \\ {= {Q_{2,g}^{T}\begin{bmatrix} \left\langle {e_{\phi_{{DD\_ WL},g,{1\; a}}^{fixed}}e_{\phi_{{DD\_ WL},g,{1\; b}}^{fixed} - \phi_{{DD\_ WL},g,{1\; a}}^{fixed}}} \right\rangle \\ \left\langle {e_{\phi_{{DD\_ WL},g,{2\; a}}^{fixed}}e_{\phi_{{DD\_ WL},g,{2\; b}}^{fixed} - \phi_{{DD\_ WL},g,{2\; a}}^{fixed}}} \right\rangle \\ \left\langle {e_{\phi_{{DD\_ WL},g,{3\; a}}^{fixed}}e_{\phi_{{DD\_ WL},g,{3\; b}}^{fixed} - \phi_{{DD\_ WL},g,{3\; a}}^{fixed}}} \right\rangle \\ \left\langle {e_{\phi_{{DD\_ WL},g,{4\; a}}^{fixed}}e_{\phi_{{DD\_ WL},g,{4\; b}}^{fixed} - \phi_{{DD\_ WL},g,{4\; a}}^{fixed}}} \right\rangle \end{bmatrix}}} \\ {= {Q_{2,g}^{T}\begin{bmatrix} {{\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}\left( ɛ_{key} \right)} + {\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}\left( ɛ_{g,1} \right)}} \\ {\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}^{2}\left( ɛ_{key} \right)} \\ {\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}^{2}\left( ɛ_{key} \right)} \\ {\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}^{2}\left( ɛ_{key} \right)} \end{bmatrix}}} \end{matrix}$

The notation e_(X) has been used to denote the error in quantity X. The fourth equality holds because:

-   -   1. Only Base multipath errors are common to both error terms,         and     -   2. Multipath from different satellites is assumed un-correlated,         and     -   3. Multipath from different receivers is assumed un-correlated

Accordingly:

$\sigma_{{\overset{\sim}{p}}_{g}T_{g,{ab}}}^{2} = {\sigma_{{\overset{\sim}{p}}_{g}T_{g,{ac}}}^{2} = {{\sum\limits_{t = 1}^{4}\;{{Q_{2,g}(t)}{\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}^{2}\left( ɛ_{key} \right)}}} + {{Q_{2,g}(4)}{\sigma_{{{\phi\_}g},{{a{\_ WL}}{\_ MP}}}^{2}\left( ɛ_{g,1} \right)}}}}$ where σ_(φ) _(_) _(g,a) _(_) _(WL) _(_) _(MP) ²(ε_(key)) and σ_(φ) _(_) _(g,a) _(_) _(WL) _(_) _(MP) ²(ε_(g,1)) are determined from:

${\sigma_{{{\phi\_}X}{\_ WL}{\_ MP}}^{2}\left( ɛ_{j} \right)} = {\lambda_{WL}^{2}\left( {\frac{\sigma_{{{\phi\_}X}{\_ L}\; 1{\_ MP}}^{2}\left( ɛ_{j} \right)}{\lambda_{L\; 1}^{2}} + \frac{\sigma_{{{\phi\_}X}{\_ L}\; 2{\_ MP}}^{2}\left( ɛ_{j} \right)}{\lambda_{L\; 2}^{2}}} \right)}$

With the covariance matrix of the joint vectors x_(g,ab) and x_(g,ac), the range test quantities may be decorrelated from that of the residual test ({tilde over (p)}_(g)). One may start by diagonalizing C_(x) _(g,ab) and C_(x) _(g,ac) : C _(x) _(g,ab) =U _(g,ab) D _(g,ab) U _(g,ab) ^(T) ,C _(x) _(g,ac) =U _(g,ac) D _(g,ac) U _(g,ac) ^(T)

The joint test quantities x_(g,ab) and x_(g,ac) may be projected into the orthogonalized space, and the component orthogonal to the eigenvector associated with {tilde over (p)}_(g) is selected as the decorrelated Range Monitor test quantity: {tilde over (T)} _(g,ab)=[01]U _(g,ab) x _(g,ab) ^(T) {tilde over (T)} _(g,ac)=[01]U _(g,ac) x _(g,ac) ^(T)

The corresponding variances are obtained from D_(ab) and D_(ac) according to:

$\sigma_{{\overset{\sim}{T}}_{g,{ab}}}^{2} = {\begin{bmatrix} 0 & 1 \end{bmatrix}{D_{g,{ab}}\begin{bmatrix} 0 \\ 1 \end{bmatrix}}}$ $\sigma_{{\overset{\sim}{T}}_{g,{ac}}}^{2} = {\begin{bmatrix} 0 & 1 \end{bmatrix}{D_{g,{ac}}\begin{bmatrix} 0 \\ 1 \end{bmatrix}}}$

The two range tests are then defined as |{tilde over (T)} _(g,ab) |<K _(rng)σ_({tilde over (T)}) _(g,ab) |{tilde over (T)} _(g,ac) |<K _(rng)σ_({tilde over (T)}) _(g,ac) where K_(rng) is a multiplier determined based on the desired false alarm rate.

If the group passes both tests, the probability of missed detections are computed in some embodiments, as detailed below. Otherwise the group is discarded.

In some embodiments a probability of missed detection is computed for both the residual test and the range test.

For the residual test, for each predetermined error state v, the error v is mapped into Parity space to obtain its expected mean according to μ_(g)(v)=Q _(2,g) ^(T)(λ_(WL) v), with v was multiplied by λ_(WL) to convert to distance. An error will not be expected to be detected by the residual test if |{circumflex over (μ)}|<K_(res)σ_({tilde over (p)}) _(g) . The probability of missed detection is therefore equal to the tails of the corresponding Gaussian distribution that fall outside of the threshold range. Accordingly,

$\begin{matrix} {{P\left( {MD}_{g,{residual}} \middle| v \right)} = {P\left( {{\hat{\mu}} < {K_{res}\sigma_{{\overset{\sim}{p}}_{g}}}} \right)}} \\ {= {\frac{1}{2}\left\lbrack {{{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{res} + \frac{\mu_{g}(v)}{\sigma_{{\overset{\sim}{p}}_{g}}}} \right)} \right)} + {{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{res} + \frac{\mu_{g}(v)}{\sigma_{{\overset{\sim}{p}}_{g}}}} \right)} \right)}} \right\rbrack}} \end{matrix}$

For the range test, for each predetermined error state v, the impact of the error state on the cycle residual difference is calculated as: v _(ab)=[01−1000]v v _(ac)=[10−1000]v

The joint vectors containing v_(ab) and v_(ac) are mapped into the diagonalized space defined by U_(g,ab) ^(T) and U_(g,ac) ^(T) to obtain their expected means according to

${\mu_{g,{ab}}(v)} = {\left\lbrack {0\mspace{14mu} 1} \right\rbrack{U_{g,{ab}}^{T}\begin{bmatrix} {\overset{\sim}{p}}_{g} \\ {\lambda_{WL}v_{ab}} \end{bmatrix}}}$ ${\mu_{g,{a\; c}}(v)} = {\left\lbrack {0\mspace{14mu} 1} \right\rbrack{U_{g,{a\; c}}^{T}\begin{bmatrix} {\overset{\sim}{p}}_{g} \\ {\lambda_{WL}v_{a\; c}} \end{bmatrix}}}$

An error will not be expected to be detected in the range test if the realization {circumflex over (μ)} of the error is such that |{circumflex over (μ)}|K_(rng)σ_({tilde over (T)}) _(g) . The probability of missed detection is therefore equal to the tail of the corresponding Gaussian distribution. Since there are two tests (and they are not independent), the test with minimum probability of missed detection is preferably used, with the probability of missed detection for the range test being:

${P\left( {MD}_{g,{rang}} \middle| v \right)} = {\frac{1}{2}\min\begin{Bmatrix} {{{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{rng} + \frac{\mu_{g,{ab}}(v)}{\sigma_{{\overset{\sim}{T}}_{g,{ab}}}}} \right)} \right)} + {{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{rng} - \frac{\mu_{g,{ab}}(v)}{\sigma_{{\overset{\sim}{T}}_{g,{ab}}}}} \right)} \right)}} \\ {{{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{rng} + \frac{\mu_{g,{a\; c}}(v)}{\sigma_{{\overset{\sim}{T}}_{g,{a\; c}}}}} \right)} \right)} + {{erf}\left( {\frac{1}{\sqrt{2}}\left( {K_{rng} - \frac{\mu_{g,{a\; c}}(v)}{\sigma_{{\overset{\sim}{T}}_{g,{a\; c}}}}} \right)} \right)}} \end{Bmatrix}}$

Returning to FIG. 5, the Widelane Probability of Correct Fix block 515 selects widelane integer ambiguity candidates for use in precision relative navigation solution processing. In many instances multiple widelane integer ambiguity candidates for each satellite/receiver pair may have passed both the residual and range tests. In such instances, the selected widelane integer ambiguity candidate may be selected. In some embodiments the probability of correct fix block 515 selects the widelane integer ambiguity candidate as discussed below.

In some embodiments the probability of missed detection is estimated for each group g according to:

${P\left( {MD}_{{WL},g} \right)} = {{\sum\limits_{v \in V_{g}}{{P\left( {MD}_{g,{residual}} \middle| v \right)}{P\left( {MD}_{g,{range}} \middle| v \right)}{P_{g}(v)}}} + {\alpha\;{PIF}_{allocated}}}$

α<<1 and PIF_(allocated) is a predetermined constant based on system safety analysis. Since each satellite/receiver pair is likely to be present in numerous groups as the SOI/ROI pair, the second step is to select one of the groups for each pair. For each pair (m,n) of SOI and ROI, among all the groups g(m,n) that have (m,n) as SOI and ROI, the process selects the one with minimum probability of missed detection:

${P\left( {MD}_{{WL},{({m,n})}} \right)} = {\min\;\underset{{n\mspace{11mu}{is}\mspace{11mu}{ROI}\mspace{11mu}{in}\; g}\;}{\underset{m\mspace{11mu}{is}\mspace{11mu}{SOI}\mspace{11mu}{in}\mspace{11mu} g}{P\left( {MD}_{g{({m,n})}} \right)}}}$

If the sum of P(MD_(WL,(m,n))) over all satellite/receiver pairs is less than PIF_(allocated), then all the ambiguities can be fixed in the navigation solution and PCF=1−Σ_(m,n)P(MD_(WL,(m,n))). If that is not the case, only a subset of the ambiguities can be fixed.

In some embodiments the single lane float ambiguity estimation block 517 determines the DD SF float ambiguities using two different methods. A first method may be used when the measurement is of the SOI from the other receivers and a second method may be used when the measurement is from the ROI.

The first method may be considered as geometry-free, and uses the fixed DD WL ambiguities to derive estimates of the float DD SF ambiguities according to:

${\hat{N}}_{{DD\_}\; L\; 1} = {{\frac{\lambda_{WL}}{\lambda_{L\; 1}}{\hat{N}}_{{DD}\;\_\;{WL}}^{int}} + {M_{SD}^{DD}{F\left( \frac{\phi_{{SD}\;\_\; L\; 2} - \phi_{{SD}\;\_\; L\; 1}}{\lambda_{L\; 2} - \lambda_{L\; 1}} \right)}}}$ ${\hat{N}}_{{DD\_}\; L\; 2} = {{\frac{\lambda_{WL}}{\lambda_{L\; 2}}{\hat{N}}_{{DD}\;\_\;{WL}}^{int}} + {M_{SD}^{DD}{F\left( \frac{\phi_{{SD}\;\_\; L\; 2} - \phi_{{SD}\;\_\; L\; 1}}{\lambda_{L\; 2} - \lambda_{L\; 1}} \right)}}}$

The measurement

${X(t)} = \frac{{\phi_{{SD}_{L\; 2}}(t)} - {\phi_{{SD}_{L\; 1}}(t)}}{\lambda_{L\; 2} - \lambda_{L\; 1}}$ may be filtered using a digital low-pass filter (F), for example a Type II filter, designed to attenuate multipath errors and pass through ionospheric errors.

The 3N_(sat)-by-3N_(sat) covariance matrices of {circumflex over (N)}_(DD) _(_) _(L1) and {circumflex over (N)}_(DD) _(_) _(L2) may be calculated in accordance with the following. As the DD WL integer ambiguities {circumflex over (N)}_(DD) _(_) _(WL) ^(int) are assumed correct:

$C_{{\hat{N}}_{{DD}\;\_\; L\; 1}} = {C_{{\hat{N}}_{{DD}\;\_\; L\; 2}} = {\frac{1}{\left( {\lambda_{L\; 2} - \lambda_{L\; 1}} \right)^{2}}M_{SD}^{DD}{C_{{SD}_{{L\; 2} - {L\; 1}}}\left( M_{SD}^{DD} \right)}^{T}}}$

-   -   where

C_(SD_(L 2 − L 1)) = C_(ϕ_(filt)_SD_L1_MP) + C_(ϕ_(filt)_SD_L2_MP) + C_(ϕ_(filt)_SD_L1L 2_iono)

-   -   and

$C_{{\phi\_}\;{SD}\;\_\; L\; 1L\; 2\;\_\;{iono}} = \begin{bmatrix} C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} \\ C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} \\ C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} & C_{\phi\;\_\;{iono}} \end{bmatrix}$

-   -   where

$\mspace{79mu}{C_{\phi\;\_\;{iono}} = {\left( {1 - \left( \frac{\lambda_{L\; 2}}{\lambda_{L\; 1}} \right)^{2}} \right)^{2}C_{\phi\;\_\;{SD}\;\_\; L\; 1\;\_\;{iono}}}}$ $C_{\phi_{filt}\_\;{SD}\;\_\; Y\;\_\;{MP}} = \begin{bmatrix} C_{\phi_{filt}\_\;{SDa}\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} \\ C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\;{SDb}\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} \\ C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\; R\;\_\; Y\;\_\;{MP}} & C_{\phi_{filt}\_\;{SDc}\;\_\; Y\;\_\;{MP}} \end{bmatrix}$

-   -   where

C_(ϕ_(filt)_SDx_Y_MP) = C_(ϕ_(filt−)Bx_Y_MP) + C_(ϕ_(filt−)R_Y_MP)

-   -   and

C_(ϕ_(filt)_X_Y_MP) = diag[σ_(ϕ_(filt)_X_Y_MP)²(ɛ₁), …  , σ_(ϕ_(filt)_X_Y_MP)²(ɛ_(N_(sat)))]

The second method may be considered geometry constrained. The measurement vector may be formed by combining the fixed DD WL phase measurements φ_(DD) _(_) _(WL) ^(fixed) and the float DD SF (Y) phase measurements:

$\phi_{{DD}\;\_\; Y}^{meas} = \begin{bmatrix} \phi_{{DD}\;\_\;{WL}}^{fixed} \\ \phi_{{DD}\;\_\; Y} \end{bmatrix}$

This quantity has covariance

C_(ϕ_(DD_Y)^(meas)), and may make use of a predicted vector φ_(DD) _(_) _(Y) ^(predict), which uses the current aircraft position and satellite ephemeris to compute the expected fixed phase measurement and adds the current estimate of ambiguities:

$\phi_{{DD}\;\_\; Y}^{predict} = {\begin{bmatrix} \phi_{{DD}\;\_\;{WL}}^{{fixed},\;{expected}} \\ \phi_{{DD}\;\_\; Y}^{{fixed},\;{expected}} \end{bmatrix} + \begin{bmatrix} 0 \\ {\lambda_{Y}{\hat{N}}_{{DD}\;\_\; Y}} \end{bmatrix}}$

Assuming the fixed ambiguities are correct, the error in this predicted phase vector can be related to errors in position (δx) and to the float ambiguities according to:

$\begin{matrix} {\phi_{{{DD}\;}_{Y}}^{predict} = {{H_{LOS}\delta\; x} + {\lambda_{Y}\begin{bmatrix} 0_{N_{fixed} \times 1} \\ {\hat{N}}_{{{DD}\;}_{Y}} \end{bmatrix}}}} \\ {= {\underset{\underset{H_{EAE}}{︸}}{\begin{bmatrix} H_{LOS} & \begin{matrix} 0_{N_{fixed} \times N_{EAE}} \\ I_{N_{EAE} \times N_{EAE}} \end{matrix} \end{bmatrix}}\begin{bmatrix} {\delta\; x} \\ {\lambda_{Y}{\hat{N}}_{{DD}\;\_\; Y}} \end{bmatrix}}} \end{matrix}$

This may be solved using an iterative Weighted Least Squares method:

X = (H_(EAE)^(T)C_(ϕ_(DD_(Y))^(meas))⁻¹H_(EAE))⁻¹H_(EAE)^(T)C_(ϕ_(DD_(Y))^(meas))⁻¹(ϕ_(DD_(Y))^(meas) − ϕ_(DD_(Y))^(predict)) ${\hat{N}}_{{DD}_{Y}} = \frac{X\left( {N_{fixed} + {1\text{:}N_{Sat}}} \right)}{\lambda_{Y}}$ C_(x) = (H_(EAE)^(T)C_(ϕ_(DD_(Y))^(meas))⁻¹H_(EAE))⁻¹ $C_{{\hat{N}}_{{DD}\;\_\; Y}} = {\left( \frac{1}{\lambda_{Y}} \right)^{2}{C_{X}\left( {{N_{fixed} + {1\text{:}N_{Sat}}},{N_{fixed} + {1\text{:}N_{Sat}}}} \right)}}$

In some embodiments the single lane integer ambiguity estimation block 519 performs a Bootstrapping process to obtain candidate integer ambiguities. The candidate integer ambiguities for each group g of interest are {circumflex over (N)}_(L1,g) ^(int) and {circumflex over (N)}_(L2,g) ^(int). The candidate DD SF fixed measurements are then given by φ_(DD) _(_) _(L1,g) ^(fixed)=φ_(DD) _(_) _(L1,g)−λ_(L1) {circumflex over (N)} _(L1,g) ^(int) φ_(DD) _(_) _(L2,g) ^(fixed)=φ_(DD) _(_) _(L2,g)−λ_(L2) {circumflex over (N)} _(L2,g) ^(int)

The covariance of these quantities may be obtained according to:

C_(ϕ_DD_Y, g)^(fixed) = C_(ϕ_(DD_Y, g))

In some embodiments the single lane integer ambiguity verification block 521 forms residual and first range test statistics, decorrelates the test statistics from one another and the candidate single lane integer ambiguities, and performs the residual test and the first range test. In some embodiments, for groups that pass the tests, a second range test statistic is formed, the residual and second range test statistics are decorrelated from one another and the candidate single lane integer ambiguities, and the residual test and the second range test are also performed. In some embodiments probabilities of missed detection are also determined.

In some embodiments the first range test statistic is T _(Y,g,ab)=[01−1000]φ_(DD) _(_) _(Y,g) ^(fixed)=φ_(DD) _(_) _(Y,g,1b) ^(fixed)−φ_(DD) _(_) _(Y,g,1a) ^(fixed) T _(Y,g,ac)=[01−1001]φ_(DD) _(_) _(Y,g) ^(fixed)=φ_(DD) _(_) _(Y,g,1c) ^(fixed)−φ_(DD) _(_) _(Y,g,1a) ^(fixed)

With the variance of those quantities is obtained according to:

$\sigma_{T_{Y,g,{ab}}}^{2} = {\left\lbrack \begin{matrix} 0 & 1 & {- 1} & 0 & 0 & 0 \end{matrix} \right\rbrack{\left( {C_{{\phi\;\_\;{DD}\;\_\; Y\;\_\;{MP}},g} + C_{{Ba}\;\_\;{Bb}\;\_\;{trans}}} \right)\left\lbrack \begin{matrix} 0 \\ 1 \\ {- 1} \\ 0 \\ 0 \\ 0 \end{matrix} \right\rbrack}}$ $\sigma_{T_{Y,g,{a\; c}}}^{2} = {\left\lbrack \begin{matrix} 1 & 0 & {- 1} & 0 & 0 & 0 \end{matrix} \right\rbrack{\left( {C_{{\phi\;\_\;{DD}\;\_\; Y\;\_\;{MP}},g} + C_{{Ba}\;\_\;{Bc}\;\_\;{trans}}} \right)\left\lbrack \begin{matrix} 1 \\ 0 \\ {- 1} \\ 0 \\ 0 \\ 0 \end{matrix} \right\rbrack}}$

In some embodiments the second range test statistic is X _(Y,g)(t)=φ_(DD) _(_) _(WL,g,1a) ^(fixed)(t)−φ_(DD) _(_) _(Y,g,1a) ^(fixed)(t)

The measurement X_(Y,g)(t) may be filtered using a Type II low-pass digital filter.

In some embodiments the single lane probability of correct fix block 523 operates as discussed above with respect to the widelane probability of correct fix block.

Although the invention has been discussed with respect to various embodiments, it should be recognized that the invention comprises the novel and non-obvious claims supported by this disclosure. 

What is claimed is:
 1. A method, performed by circuitry including at least one processor, of determining integer ambiguities for relative position determination of a mobile vehicle using satellite provided data, comprising: receiving, from at least one of a plurality of GPS satellites, satellite data relating to position by at least one GPS receiver; operating the at least one processor to perform measurement processing using the satellite data relating to position, to obtain float ambiguity estimates; operating the at least one processor to determine groups of candidate integer ambiguities, each of the groups including candidate integer ambiguity for a plurality of receivers and satellites; for each of the groups, performing a plurality of tests by the at least one processor to determine whether the candidate integer ambiguities for the group exhibits a statistical distribution consistent with low noise phase measurements, the tests comprising a first test measuring consistency between measurements with respect to information received from the plurality of GPS satellites and a pair of GPS receivers, and a second test measuring consistency between measurements with respect to information received from a single GPS satellite and a plurality of pairs of GPS receivers, the first test and the second test being decorrelated from one another; and selecting, from among the candidate integer ambiguities which exhibit the statistical distribution consistent with low noise phase measurements, a candidate integer ambiguity for use in determining relative position of the mobile vehicle.
 2. The method of claim 1, wherein the test measuring consistency between measurements with respect to information received from the plurality of satellites and the pair of receivers comprises a residual test.
 3. The method of claim 1, wherein the tests measuring consistency between measurements with respect to information received from the single satellite and the plurality of pairs of receivers comprises a range test.
 4. A method, performed by circuitry in a mobile vehicle, useful in determining relative position of mobile vehicle having a receiver, using information from a plurality of satellites and a plurality of base receivers, comprising: receiving position related information from a plurality of satellites; receiving further position related information from each of the plurality of base receivers; determining double-differenced widelane float ambiguity estimates, and their associated covariance matrices, for a plurality of pairs, each pair including the mobile vehicle and a different base receiver based on the position related information and the further position related information; determining groups of candidate widelane integer ambiguities and their associated covariance matrices, each of the groups being for a receiver of interest and a satellite of interest, each group including candidate widelane integer ambiguities for the receiver of interest and each of the plurality of satellites, including the satellite of interest, and candidate widelane integer ambiguities for at least some other receivers and the satellite of interest; performing a first test to determine, for at least one group, on a mobile vehicle/base receiver pair basis for the plurality of satellites, if the candidate widelane integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; performing a second test to determine, for at least one group, on a single satellite basis for a plurality of mobile vehicle/base receiver pairs, if the candidate widelane integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; and selecting, from among the candidate widelane integer ambiguities, a widelane integer ambiguity for use in determining relative position of the mobile vehicle.
 5. The method of claim 4, wherein the first test and the second test are decorrelated from one another.
 6. The method of claim 4, wherein the first test and the second test are performed for all groups.
 7. The method of claim 4, further comprising: determining single frequency float ambiguities using the selected widelane integer ambiguity.
 8. The method of claim 7, further comprising: determining groups of candidate single frequency integer ambiguities and their associated covariance matrices, each of the groups being for a receiver of interest and a satellite of interest, each group including candidate single frequency integer ambiguities for the receiver of interest and each of the plurality of satellites, including the satellite of interest, and candidate single frequency integer ambiguities for at least some other receivers and the satellite of interest; performing the first test to determine, for at least one group, on a mobile vehicle/base receiver pair basis for the plurality of satellites, if the candidate single frequency integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; performing the second test to determine, for at least one group, on a single satellite basis for a plurality of mobile vehicle/base receiver pairs, if the candidate single frequency integer ambiguities exhibit a statistical distribution consistent with low noise phase measurements; and selecting, from among the candidate single frequency integer ambiguities, a single frequency integer ambiguity for use in determining relative position of the mobile vehicle.
 9. A system for determining relative position of a rover, comprising: a data link; a global positioning system (GPS) receiver; a processor coupled to the data link and GPS receiver, the processor configured by program instructions, to: determine double differenced float ambiguity estimates and a float ambiguity covariance matrix based on information from the GPS receiver and information from other GPS receivers received by way of the data link; determine groups of integer ambiguity estimates and their covariance matrices; perform a first test to determine for each group, on a pairs of the GPS receivers basis for satellites in view of those GPS receivers, if the integer ambiguity estimates exhibit a statistical distribution consistent with low noise phase measurements; perform a second test to determine for each group, on a single satellite basis for pairs of GPS receiver, if the integer ambiguity estimates exhibit a statistical distribution consistent with low noise phase measurements; and select a one of the integer ambiguity estimates that has passed both the first test and the second test for use in navigation position functions. 